Ideas from 'Formal and Material Consequence' by Stephen Read [1994], by Theme Structure

[found in 'Philosophy of Logic: an anthology' (ed/tr Jacquette,Dale) [Blackwell 2002,0-631-21868-8]].

green numbers give full details    |     back to texts     |     expand these ideas

---

5. Theory of Logic / A. Overview of Logic / 4. Pure Logic

14187

If logic is topic-neutral that means it delves into all subjects, rather than having a pure subject matter

5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence

14188

Not all arguments are valid because of form; validity is just true premises and false conclusion being impossible

14182

If the logic of 'taller of' rests just on meaning, then logic may be the study of merely formal consequence

14183

Maybe arguments are only valid when suppressed premises are all stated - but why?

5. Theory of Logic / B. Logical Consequence / 5. Modus Ponens

14184

In modus ponens the 'if-then' premise contributes nothing if the conclusion follows anyway

5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives

14186

Logical connectives contain no information, but just record combination relations between facts

10. Modality / B. Possibility / 8. Conditionals / d. Non-truthfunction conditionals

14185

Conditionals are just a shorthand for some proof, leaving out the details